recursive enumerable language in toc